The modular compilation of effects

The introduction of new features to a programming language often requires that its compiler goes to the effort of ensuring they are introduced in a manner that does not interfere with the existing code base. Engineers frequently find themselves changing code that has already been designed, implemented and (ideally) proved correct, which is bad practice from a software engineering point of view. This thesis addresses the issue of constructing a compiler for a source language that is modular in the computational features that it supports. Utilising a minimal language that allows us to demonstrate the underlying techniques, we go on to introduce a significant range of effectful features in a modular manner, showing that their syntax can be compiled independently, and that source languages containing multiple features can be compiled by making use of a fold. In the event that new features necessitate changes in the underlying representation of either the source language or that of the compiler, we show that our framework is capable of incorporating these changes with minimal disruption. Finally, we show how the framework we have developed can be used to define both modular evaluators and modular virtual machines

The modular compilation of effects

The introduction of new features to a programming language often requires that its compiler goes to the effort of ensuring they are introduced in a manner that does not interfere with the existing code base. Engineers frequently find themselves changing code that has already been designed, implemented and (ideally) proved correct, which is bad practice from a software engineering point of view. This thesis addresses the issue of constructing a compiler for a source language that is modular in the computational features that it supports. Utilising a minimal language that allows us to demonstrate the underlying techniques, we go on to introduce a significant range of effectful features in a modular manner, showing that their syntax can be compiled independently, and that source languages containing multiple features can be compiled by making use of a fold. In the event that new features necessitate changes in the underlying representation of either the source language or that of the compiler, we show that our framework is capable of incorporating these changes with minimal disruption. Finally, we show how the framework we have developed can be used to define both modular evaluators and modular virtual machines

New Insights Into the Clinical and Molecular Spectrum of the Novel CYFIP2-Related Neurodevelopmental Disorder and Impairment of the WRC-Mediated Actin Dynamics

Purpose: A few de novo missense variants in the cytoplasmic FMRP-interacting protein 2 (CYFIP2) gene have recently been described as a novel cause of severe intellectual disability, seizures, and hypotonia in 18 individuals, with p.Arg87 substitutions in the majority. Methods: We assembled data from 19 newly identified and all 18 previously published individuals with CYFIP2 variants. By structural modeling and investigation of WAVE-regulatory complex (WRC)-mediated actin polymerization in six patient fibroblast lines we assessed the impact of CYFIP2 variants on the WRC. Results: Sixteen of 19 individuals harbor two previously described and 11 novel (likely) disease-associated missense variants. We report p.Asp724 as second mutational hotspot (4/19 cases). Genotype–phenotype correlation confirms a consistently severe phenotype in p.Arg87 patients but a more variable phenotype in p.Asp724 and other substitutions. Three individuals with milder phenotypes carry putative loss-of-function variants, which remain of unclear pathogenicity. Structural modeling predicted missense variants to disturb interactions within the WRC or impair CYFIP2 stability. Consistent with its role in WRC-mediated actin polymerization we substantiate aberrant regulation of the actin cytoskeleton in patient fibroblasts. Conclusion: Our study expands the clinical and molecular spectrum of CYFIP2-related neurodevelopmental disorder and provides evidence for aberrant WRC-mediated actin dynamics as contributing cellular pathomechanism

Immune-Instructive Polymers Control Macrophage Phenotype and Modulate the Foreign Body Response In Vivo

© 2020 The Author(s) Implantation of medical devices can result in inflammation. A large library of polymers is screened, and a selection found to promote macrophage differentiation towards pro- or anti-inflammatory phenotypes. The bioinstructive properties of these materials are validated within a rodent model. By identifying novel materials with immune-instructive properties, the relationship between material-immune cell interactions could be investigated, and this offers exciting possibilities to design novel bioinstructive materials that can be used for numerous clinical applications including medical implants

Stabilization of O-O Bonds by d(0) Cations in Li4+xNi1-xWO6 (0 <= x <= 0.25) Rock Salt Oxides as the Origin of Large Voltage Hysteresis

Multinary lithium oxides with the rock salt structure are of technological importance as cathode materials in rechargeable lithium ion batteries. Current state-of-the-art cathodes such as LiNi1/3Mn1/3Co1/3O2 rely on redox cycling of earth-abundant transition-metal cations to provide charge capacity. Recently, the possibility of using the oxide anion as a redox center in Li-rich rock salt oxides has been established as a new paradigm in the design of cathode materials with enhanced capacities (>200 mAh/g). To increase the lithium content and access electrons from oxygen-derived states, these materials typically require transition metals in high oxidation states, which can be easily achieved using d0 cations. However, Li-rich rock salt oxides with high valent d0 cations such as Nb5+ and Mo6+ show strikingly high voltage hysteresis between charge and discharge, the origin of which is uninvestigated. In this work, we study a series of Li-rich compounds, Li4+xNi1–xWO6 (0 ≤ x ≤ 0.25) adopting two new and distinct cation-ordered variants of the rock salt structure. The Li4.15Ni0.85WO6 (x = 0.15) phase has a large reversible capacity of 200 mAh/g, without accessing the Ni3+/Ni4+ redox couple, implying that more than two-thirds of the capacity is due to anionic redox, with good cyclability. The presence of the 5d0 W6+ cation affords extensive (>2 V) voltage hysteresis associated with the anionic redox. We present experimental evidence for the formation of strongly stabilized localized O–O single bonds that explain the energy penalty required to reduce the material upon discharge. The high valent d0 cation associates localized anion–anion bonding with the anion redox capacity

Systemic Immune Activation in HIV Infection Is Associated with Decreased MDC Responsiveness to TLR Ligand and Inability to Activate Naive CD4 T-Cells

HIV infection is characterized by ineffective anti-viral T-cell responses and impaired dendritic cell (DC) functions, including response to Toll-Like Receptor (TLR) ligands. Because TLR responsiveness may affect a host's response to virus, we examined TLR ligand induced Myeloid and Plasmacytoid DC (MDC and PDC) activation of naïve T-cells in HIV+ subjects.Freshly purified MDC and PDC obtained from HIV+ subjects and healthy controls were cultured in the presence and absence of TLR ligands (poly I∶C or R-848). We evaluated indices of maturation/activation (CD83, CD86, and HLA-DR expression), cytokine secretion (IFN-alpha and IL-6), and ability to activate allogeneic naïve CD4 T-cells to secrete IFN-gamma and IL-2.MDC from HIV+ subjects had increased spontaneous IL-6 production and increased CD83 and CD86 expression when compared to MDC of controls. MDC IL-6 expression was associated with plasma HIV level. At the same time, poly I∶C induced HLA-DR up-regulation on MDC was reduced in HIV+ persons when compared to controls. The latter finding was associated with impaired ability of MDC from HIV+ subjects to activate allogeneic naïve CD4 T-cells. PDC from HIV+ persons had increased spontaneous and TLR ligand induced IL-6 expression, and increased HLA-DR expression at baseline. The latter was associated with an intact ability of HIV PDC to activate allogeneic naïve CD4 T-cells.These results have implications for the ability of the HIV+ host to form innate and adaptive responses to HIV and other pathogens

Do Gravity-Related Sensory Information Enable the Enhancement of Cortical Proprioceptive Inputs When Planning a Step in Microgravity?

International audienceWe recently found that the cortical response to proprioceptive stimulation was greater when participants were planning a step than when they stood still, and that this sensory facilitation was suppressed in microgravity. The aim of the present study was to test whether the absence of gravity-related sensory afferents during movement planning in microgravity prevented the proprioceptive cortical processing to be enhanced. We reestablished a reference frame in microgravity by providing and translating a horizontal support on which the participants were standing and verified whether this procedure restored the proprioceptive facilitation. The slight translation of the base of support (lateral direction), which occurred prior to step initiation, stimulated at least cutaneous and vestibular receptors. The sensitivity to proprioceptive stimulation was assessed by measuring the amplitude of the cortical somatosensory-evoked potential (SEP, over the Cz electrode) following the vibration of the leg muscle. The vibration lasted 1 s and the participants were asked to either initiate a step at the vibration offset or to remain still. We found that the early SEP (90–160 ms) was smaller when the platform was translated than when it remained stationary, revealing the existence of an interference phenomenon (i.e., when proprioceptive stimulation is preceded by the stimulation of different sensory modalities evoked by the platform translation). By contrast, the late SEP (550 ms post proprioceptive stimulation onset) was greater when the translation preceded the vibration compared to a condition without pre-stimulation (i.e., no translation). This suggests that restoring a body reference system which is impaired in microgravity allowed a greater proprioceptive cortical processing. Importantly, however, the late SEP was similarly increased when participants either produced a step or remained still. We propose that the absence of step-induced facilitation of proprioceptive cortical processing results from a decreased weight of proprioception in the absence of balance constraints in microgravity

Plant lectins: the ties that bind in root symbiosis and plant defense

Lectins are a diverse group of carbohydrate-binding proteins that are found within and associated with organisms from all kingdoms of life. Several different classes of plant lectins serve a diverse array of functions. The most prominent of these include participation in plant defense against predators and pathogens and involvement in symbiotic interactions between host plants and symbiotic microbes, including mycorrhizal fungi and nitrogen-fixing rhizobia. Extensive biological, biochemical, and molecular studies have shed light on the functions of plant lectins, and a plethora of uncharacterized lectin genes are being revealed at the genomic scale, suggesting unexplored and novel diversity in plant lectin structure and function. Integration of the results from these different types of research is beginning to yield a more detailed understanding of the function of lectins in symbiosis, defense, and plant biology in general

New genetic loci link adipose and insulin biology to body fat distribution.

Body fat distribution is a heritable trait and a well-established predictor of adverse metabolic outcomes, independent of overall adiposity. To increase our understanding of the genetic basis of body fat distribution and its molecular links to cardiometabolic traits, here we conduct genome-wide association meta-analyses of traits related to waist and hip circumferences in up to 224,459 individuals. We identify 49 loci (33 new) associated with waist-to-hip ratio adjusted for body mass index (BMI), and an additional 19 loci newly associated with related waist and hip circumference measures (P < 5 × 10(-8)). In total, 20 of the 49 waist-to-hip ratio adjusted for BMI loci show significant sexual dimorphism, 19 of which display a stronger effect in women. The identified loci were enriched for genes expressed in adipose tissue and for putative regulatory elements in adipocytes. Pathway analyses implicated adipogenesis, angiogenesis, transcriptional regulation and insulin resistance as processes affecting fat distribution, providing insight into potential pathophysiological mechanisms